Sequent calculus
Synonyms for "sequent calculus" (6 found)
Ranked by relevance and common usage.
Closest matches (2)
Noun(2 words)
formal frameworkformal logic
Strong matches (1)
Noun(1 words)
logical calculus
Related words (3)
Noun(3 words)
proof frameworkproof systemtheoretical framework
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
4 entriesformal frameworkformal systemlogical frameworktheoretical framework
More specific
3 entriesclassical sequent calculusintuitionistic sequent calculuslinear sequent calculus
Collocations
5 entriesclassical sequent calculuscut eliminationintuitionistic sequent calculuslinear sequent calculusproof theory
Inflections
1 entriessequent calculi